$\leq_{b}$$p$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$p$.2.2